Otto Hölder’s Interpretation of David Hilbert’s Axiomatic Method*

David The Axiomatic Approach to Population Ethics

This paper examines several families of population principles in the light of a set of axioms. In addition to the critical-level utilitarian, number-sensitive critical-level utilitarian and number-dampened families and their generalized counterparts, we consider the restricted number-dampened family (suggested by Hurka) and introduce two new families : the restricted critical-level and restrict...

Intuition and the Axiomatic Method Intuition and the Axiomatic Method

On Constructive Axiomatic Method

The formal axiomatic method popularized by Hilbert and recently defended by Hintikka is not fully adequate to the recent practice of axiomatizing mathematical theories. The axiomatic architecture of Topos theory and Homotopy type theory do not fit the pattern of the formal axiomatic theory in the standard sense of the word. However these theories fall under a more general and in some respects m...

The Axiomatic Usability Evaluation Method

This chapter introduces a new usability evaluation method, the axiomatic evaluation method, which is developed based on the axiomatic design theory – a formalized design methodology that can be used to solve a variety of design problems. This new evaluation method examines three domains of a product: customer domain, functional domain, and control domain. This method investigates not only usabi...

Axiomatic Method and Category Theory